a1s		{v1,v2,v3}
a1v	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a1w	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a26	{s1,s2,s3}	{v1,v2,v3}
a2a	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a2m		{v1,v2,v3}
a2m	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a2p		{v1,v2,v3}
a2w	{s1,s2,s3}	{v1,v2,v3}
a2x	{v1,v2,v3}	{o1}	
a2x		{v1,v2,v3}
a30	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a3g		{v1,v2,v3}
a44	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a48		{v1,v2,v3}
a49	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a49	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}	{o1}	
a54		{v1,v2,v3}
a54		{v1,v2,v3}
a57	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a57	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}	
a59		{v1,v2,v3}
a5a	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a5k		{v1,v2,v3}
a5s	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a64		{v1,v2,v3}
a69	{s1,s2,s3,s4,s5,s1,s3}	{v1,v2,v3}
a6b	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a6g	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a6g	{s1,s2,s3}	{v1,v2,v3}
a6l	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a6l		{v1,v2,v3}
a6s	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a6s		{v1,v2,v3}
a6s	{s1,s2,s3,s4,s5,s1,s2,s3}		{v1,v2,v3}	{o1}	
a6s	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a6s	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a6s	{s1,s2,s3}	{v1,v2,v3}
a6s		{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a6v		{v1,v2,v3}
a6v		{v1,v2,v3}	
a75		{v1,v2,v3}
a75	{s1,s2,s3,s4,s5}	{v1,v2,v3}
a75		{v1,v2,v3}
a77	{s1,s2,s3}	{v1,v2,v3}
a7c		{v1,v2,v3}
a7c		{v1,v2,v3}
a7c		{v1,v2,v3}
a7h	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}	
a7h	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
a7l	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a85		{v1,v2,v3}
a88		{v1,v2,v3}
a8r	{s1,s2,s3,s1,s3}	{v1,v2,v3}
a8x	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}	
a9c	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
a9d		{v1,v2,v3}
a9f	{s1,s2,s3}	{v1,v2,v3}
a9u		{v1,v2,v3}
aa1		{v1,v2,v3}
aa4	{s1,s2,s3}	{v1,v2,v3}
aa8	{v1,v2,v3}	
aa9		{v1,v2,v3}
aa9	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
aab	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
aaf	{s1,s2,s3,s1,s3}	{v1,v2,v3}
aaf		{v1,v2,v3}
ab5		{v1,v2,v3}
ab6	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
ab6		{v1,v2,v3}
ab6		{v1,v2,v3}
abd		{v1,v2,v3}
abd	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}	
abe		{v1,v2,v3}	
abe	{v1,v2,v3}	
abe		{v1,v2,v3}
abe		{v1,v2,v3}
abf	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
abf		{v1,v2,v3}
abg	{s1,s2,s3}	{v1,v2,v3}
abg		{v1,v2,v3}
abh		{v1,v2,v3}
abh	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
abh		{v1,v2,v3}
abh		{v1,v2,v3}
abj		{v1,v2,v3}
abj		{v1,v2,v3}
abj	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
abm		{v1,v2,v3}
abm	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
abm		{v1,v2,v3}
abm		{v1,v2,v3}
abm	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
abm		{v1,v2,v3}
abm		{v1,v2,v3}
abm		{v1,v2,v3}
abp		{v1,v2,v3}
abs		{v1,v2,v3}
abs		{v1,v2,v3}
abv		{v1,v2,v3}
abv	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
ac0		{v1,v2,v3}
ac0	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}	
ac0	{s1,s3}	{v1,v2,v3}
ac0		{v1,v2,v3}
ac0		{v1,v2,v3}
ac9		{v1,v2,v3}
aca	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
aca		{v1,v2,v3}
acg		{v1,v2,v3}
ach	{s1,s2,s3}	{v1,v2,v3}
acr	{s1,s3}	{v1,v2,v3}
acr	{s1,s3}	{v1,v2,v3}
acr	{s1,s2,s3}	{v1,v2,v3}
acx		{v1,v2,v3}
ad2		{v1,v2,v3}
ad2	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
ade		{v1,v2,v3}	{o1}
adg	{s1,s2,s3,s4,s5,s1,s3}	{v1,v2,v3}
adg	{s1,s2,s3,s4,s5,s1,s3}	{v1,v2,v3}
adk		{v1,v2,v3}
adl		{v1,v2,v3}
adp		{v1,v2,v3}
adw		{v1,v2,v3}
adw		{v1,v2,v3}
adw	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
adw		{v1,v2,v3}
adw		{v1,v2,v3}
adw		{v1,v2,v3}
adx		{v1,v2,v3}
adx	{s1,s2,s3}	{v1,v2,v3}
ae4		{v1,v2,v3}
ae7	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
ae7	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
ae7		{v1,v2,v3}
ae7	{s1,s2,s3,s4,s5,s1,s2,s3}	{v1,v2,v3}
ae7	{v1,v2,v3}	
ae7	{s1,s2,s3,s4,s5,s1,s3}	{v1,v2,v3}
ae7	{s1,s2,s3,s4,s5,s1,s3}	{v1,v2,v3}
ae7		{v1,v2,v3}
ae9	{s1,s2,s3}	{v1,v2,v3}
ahf	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}	
ahf	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
ahf	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
ahg	{s1,s2,s3,s1,s3}	{v1,v2,v3}
ahn	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
ahx	{s1,s2,s3,s4,s5,s1,s2,s3,s1,s3}	{v1,v2,v3}
